- doubly well-ordered set
- дважды вполне упорядоченное множество
English-Russian scientific dictionary. 2008.
doubly well-ordered set
Смотреть что такое "doubly well-ordered set" в других словарях:
arts, East Asian — Introduction music and visual and performing arts of China, Korea, and Japan. The literatures of these countries are covered in the articles Chinese literature, Korean literature, and Japanese literature. Some studies of East Asia… … Universalium
biblical literature — Introduction four bodies of written works: the Old Testament writings according to the Hebrew canon; intertestamental works, including the Old Testament Apocrypha; the New Testament writings; and the New Testament Apocrypha. The Old… … Universalium
UnShuffle sort — is a sort algorithm. IntroductionThe UnShuffle Sort is a distribution or merge sort which was developed by Art S. Kagel. UnShuffle is most efficient when sorting data which exhibits low entropy, in effect where the data is well ordered or… … Wikipedia
Real closed field — In mathematics, a real closed field is a field F in which any of the following equivalent conditions are true:#There is a total order on F making it an ordered field such that, in this ordering, every positive element of F is a square in F and… … Wikipedia
cosmos — /koz meuhs, mohs/, n., pl. cosmos, cosmoses for 2, 4. 1. the world or universe regarded as an orderly, harmonious system. 2. a complete, orderly, harmonious system. 3. order; harmony. 4. any composite plant of the genus Cosmos, of tropical… … Universalium
Polyhedron — Polyhedra redirects here. For the relational database system, see Polyhedra DBMS. For the game magazine, see Polyhedron (magazine). For the scientific journal, see Polyhedron (journal). Some Polyhedra Dodecahedron (Regular polyhedron) … Wikipedia
education — /ej oo kay sheuhn/, n. 1. the act or process of imparting or acquiring general knowledge, developing the powers of reasoning and judgment, and generally of preparing oneself or others intellectually for mature life. 2. the act or process of… … Universalium
World War II — the war between the Axis and the Allies, beginning on September 1, 1939, with the German invasion of Poland and ending with the surrender of Germany on May 8, 1945, and of Japan on August 14, 1945. Abbr.: WWII * * * or Second World War (1939–45)… … Universalium
World War I — the war fought mainly in Europe and the Middle East, between the Central Powers and the Allies, beginning on July 28, 1914, and ending on November 11, 1918, with the collapse of the Central Powers. Abbr.: WWI Also called Great War, War of the… … Universalium
Interval (music) — For the album by See You Next Tuesday, see Intervals (album). Melodic and harmonic intervals. … Wikipedia
Poland — /poh leuhnd/, n. a republic in E central Europe, on the Baltic Sea. 38,700,291; ab. 121,000 sq. mi. (313,400 sq. km). Cap.: Warsaw. Polish, Polska. * * * Poland Introduction Poland Background: Poland is an ancient nation that was conceived around … Universalium
